تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۱,۲۲ ثانیه یافت شد.

1. FMSE'05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineerign, November 11, 2005, Fairfax, Virginia, USA )co-located with CCS 2005(

المؤلف: Ralf Kusters & John Mitchell, editors; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(

المکتبة: (طهران)

موضوع: Congresses ، Computer security,Congresses ، Formal methods )Computer science(

رده :

QA

76

.

9

.

A25A326

2005

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها